A Software Tool for Legal Drafting
نویسندگان
چکیده
Although many attempts at automated aids for legal drafting have been made, they were based on the construction of a new tool, completely from scratch. This is at least curious, considering that a strong parallelism can be established between a normative document and a software specification: both describe what an entity should or should not do, can or cannot do. In this article we compare normative documents and software specifications to find out their similarities and differences. The comparison shows that there are distinctive particularities, but they are restricted to a very specific subclass of normative propositions. The rest, we postulate, can be dealt with software tools. For such an enterprise the FormaLex tool set was devised: an LTL-based language and companion tools that utilize model checking to find out normative incoherences in regulations, contracts and other legal documents. A feature-rich case study is analyzed with the presented tools.
منابع مشابه
Current Frontiers in Legal Drafting Systems
Most legal tasks involve document preparation. Drafting effective texts is central to lawyering, judging, legislating, and regulating. How best to support that work with intelligent tools is an ancient topic in AI-and-Law circles. This article surveys the history and current state of document drafting software and associated theory. Present frontiers in both of those fields are identified, and ...
متن کاملKnowledge Management for Legislative Drafting in an International Setting
The processes of drafting consistent and coherent legislation and upholding and applying valid law are getting more and more complicated. In this paper we sketch the components of an integrated Knowledge Management architecture for Legislative Drafting and deployment of legislation in an international setting and discuss problems conceptual mismatches in legal vocabulary of competing legislativ...
متن کاملMetaVex: Regulation Drafting Meets the Semantic Web
Currently almost all legislative bodies throughout Europe use general purpose word-processing software for the drafting of legal documents. These regular word processors do not provide specific support for legislative drafters and parliamentarians to facilitate the legislative process. Furthermore, they do not natively support metadata on regulations. This paper describes how the MetaLex regula...
متن کاملAn Integration of Software Engineering Methods and Semantic Technologies for Drafting and Modeling Statutes and Legal Rules
The semantic representation and modeling of legal texts has for a long time been a significant research challenge. While approaches from both, software engineering and semantic modeling, have led to impressive results, some gaps are still remaining. This paper tries to bridge the gap between generalizability and applicability by combining semantic modeling with traditional software engineering ...
متن کاملAn expert system for drafting contractual documents in Public Administration Procurement Operations
This paper present a research project involved in legal expert system. The expertise domain concerns Public Procurement Market (PPM) in software acquisition. A very few civil servants have the necessary skill to combine public procurement regulations, data processing and computer law knowledge. The system should assist the Belgian administration in writing legal documents. During the consultati...
متن کامل